University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
221	Computing for the Future of the Planet Research at the University of Cambridge, led by Professor Hopper, Head of the Computer Laboratory, is focusing on how advances in computing and communications could help the environ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-05-01 05:41:11 United Kingdom Alan Turing University of Cambridge Computer Laboratory Andy Hopper Maurice Wilkes Computer Computing Turing Award Ambient intelligence British people Fellows of the Royal Society Science
222	Security Analysis of PRINCE J´er´emy Jean1? , Ivica Nikoli´c2 , Thomas Peyrin2 , Lei Wang2 and Shuang Wu2 ´ Ecole Normale Sup´erieure, France Division of Mathematical Sciences, School of Physical and Mathematical Sc Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-22 23:59:39 Boomerang attack Advantage Ciphertext Meet-in-the-middle attack Stream cipher Chosen-plaintext attack Advanced Encryption Standard Cryptanalysis Block cipher Cryptography Tiny Encryption Algorithm University of Cambridge Computer Laboratory
223	Autonomic Cloud Management System Farah Fargo, Cihan Tunc, Salim Hariri, Youssif Alnashif, Ali Akoglu http://acl.ece.arizona.edu/projects/current/acms/index.html ACM Architecture Motivation and Solution Add to Reading List Source URL: acl.ece.arizona.edu Language: English - Date: 2014-01-18 16:53:56 University of Cambridge Computer Laboratory Xen Hypervisor Hyper-V Cloud computing Cloud infrastructure Temporal isolation among virtual machines IBM cloud computing System software Software Virtual machines
224	Humidity Bobcat™ Introduction The Humidity Bobcat™ is a single point module providing humidity readings from 5% to 95% RH. Specifications Power: Add to Reading List Source URL: www.appdig.com Language: English - Date: 2001-08-20 14:19:38 Atmospheric thermodynamics Psychrometrics Holism Source code Subroutine University of Cambridge Computer Laboratory Humidity Parameter G-code Computer programming Software engineering Computing
225	Overview Architecture Customization Add to Reading List Source URL: downloads.ganeti.org Language: English - Date: 2013-12-10 03:58:49 Virtual machines University of Cambridge Computer Laboratory Xen Parallel computing Ganeti DRBD Hyper-V Hypervisor Computer cluster System software Software Computing
226	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:43:45 Holism Source code Subroutine University of Cambridge Computer Laboratory Ada Stack Lock Operating system Computing Computer programming Software engineering
227	TEA, a Tiny Encryption Algorithm David J. Wheeler Roger M. Needham Computer Laboratory Cambridge University England Add to Reading List Source URL: www.movable-type.co.uk Language: English - Date: 2009-06-02 07:28:40 University of Cambridge Computer Laboratory Data Encryption Standard ICE Bitwise operation XXTEA Cryptographic hash functions XTEA Cryptography Binary arithmetic Tiny Encryption Algorithm
228	paravirt_ops/IA64 Isaku Yamahata <> VA Linux Systems Japan K.K. Introduction Add to Reading List Source URL: www.valinux.co.jp Language: English - Date: 2012-12-26 01:22:28 University of Cambridge Computer Laboratory Xen Paravirtualization Hardware virtualization Hardware-assisted virtualization Comparison of platform virtual machines System software Software Virtual machines
229	Independence and Concurrent Separation Logic Jonathan Hayman joint work with Glynn Winskel Computer Laboratory University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-09 07:12:42 Diagrams Petri net Software engineering Computer science Logic in computer science Postcondition Logic programming Constructible universe Theoretical computer science Models of computation Concurrency
230	Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-05-30 05:29:39 Petri net Models of computation Symbol Model theory

UPDATE